Concurrent computing

Results: 9919



#Item
731Computing / Computer programming / Parallel computing / Application programming interfaces / Concurrent computing / SHMEM / Message Passing Interface / Partitioned global address space / Computer cluster / Coarray Fortran / Standard Performance Evaluation Corporation / Thread

Problems with using MPI 1.1 and 2.0 as compilation targets for parallel language implementations Dan Bonachea and Jason Duell Computer Science Division University of California, Berkeley Berkeley, California, USA

Add to Reading List

Source URL: titanium.cs.berkeley.edu

Language: English - Date: 2014-04-29 06:11:57
732Software engineering / Computing / Computer programming / Concurrent programming languages / Dependence analysis / Static program analysis / Information flow / Program slicing / Scope / ALGOL 68 / Variable / XC

A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston

Add to Reading List

Source URL: cisr.nps.edu

Language: English - Date: 2008-08-18 13:40:59
733Software engineering / Computer programming / Computing / Concurrent programming languages / Object-oriented programming languages / Cross-platform software / Java / Iterator / Foreach loop

Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team

Add to Reading List

Source URL: www.opengda.org

Language: English - Date: 2011-08-15 10:21:08
734Computing / File sharing / Concurrent computing / B-tree / Distributed data storage / Computer architecture / Peer-to-peer / Overlay network / BitTorrent / Node / Distributed hash table

Fair File Swarming with FOX Dave Levin Rob Sherwood Bobby Bhattacharjee Department of Computer Science, University of Maryland, College Park, MDEmails: {dml, capveg, bobby}@cs.umd.edu

Add to Reading List

Source URL: iptps06.cs.ucsb.edu

Language: English - Date: 2006-02-15 01:41:07
735Computing / Distributed data storage / File sharing / Concurrent computing / Information theory / Intellectual property law / Peer-to-peer / Linear network coding / Clientserver model / Ono / Scalability / Seeding

Anatomy of a P2P Content Distribution system with Network Coding Christos Gkantsidis, John Miller, Pablo Rodriguez Microsoft Research, Cambridge email:{chrisgk, johnmil,pablo}@microsoft.com

Add to Reading List

Source URL: iptps06.cs.ucsb.edu

Language: English - Date: 2006-02-15 01:41:06
736Software engineering / Computing / Computer programming / Concurrent programming languages / Object-oriented programming languages / C++ / Cross-platform software / Java / ALGOL 68 / Foreach loop / C++ classes

Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team

Add to Reading List

Source URL: www.opengda.org

Language: English - Date: 2012-11-12 12:51:12
737Concurrent computing / Parallel computing / Computing / Computer architecture / GPGPU / Graphics hardware / Video cards / CUDA / Video game hardware / Thread block / Thread / Graphics processing unit

DYNAMIC PARALLELISM IN CUDA Dynamic Parallelism in CUDA is supported via an extension to the CUDA programming model that enables a CUDA kernel to create and synchronize new nested work. Basically, a child CUDA Kernel ca

Add to Reading List

Source URL: developer.download.nvidia.com

Language: English - Date: 2012-05-15 19:13:40
738Computing / Software engineering / Concurrency control / Concurrency / Java platform / Concurrent computing / Communication / Synchronization / U3 / Java memory model / Vienna U-Bahn / Java class file

Extended Sequential Reasoning for Data-Race-Free Programs

Add to Reading List

Source URL: www.hpl.hp.com

Language: English - Date: 2011-05-07 02:09:33
739Concurrency control / Computing / Computer programming / Concurrent computing / Non-blocking algorithm / Hazard pointer / Mutual exclusion / Lock / Concurrent data structure / Synchronization / Compare-and-swap / Linearizability

Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2013-03-28 17:48:03
740Computing / Computer programming / Concurrent computing / Parallel computing / Software engineering / Screws / Thread / Scheduling / ISO metric screw thread / Context switch / Monitor / Thread block

Modular Verification of Concurrent Thread Management Yu Guo1 , Xinyu Feng1 , Zhong Shao2 , and Peizhi Shi1 1 University of Science and Technology of China

Add to Reading List

Source URL: flint.cs.yale.edu

Language: English - Date: 2012-10-04 18:50:54
UPDATE